go/types.unifier.unify (method)

4 uses

	go/types (current package)
		infer.go#L258: 				if !u.unify(par.typ, targ) {
		infer.go#L303: 			if isTyped(targ) && !u.unify(tpar, targ) {
		infer.go#L530: 					if !u.unify(tx, core.typ) {
		unify.go#L84: func (u *unifier) unify(x, y Type) bool {